Eal - T Ime S Oftware Using P Ort - B Ased O Bjects

نویسندگان

  • David B. Stewart
  • Pradeep K. Khosla
چکیده

The Chimera Methodology is a software engineering paradigm that enables rapid development of real-time applications through use of dynamically reconfigurable and reusable software. It is targeted towards a distributed shared memory computing environment. The primary contribution of this research is the port-based object model of a real-time software component. The model is obtained by applying the portautomaton formal computational theory to object-based design. A finite state machine, detailed interface specifications, and a C-language template are used to define the port-based object. Tools to support the integration, scheduling, and state variable communication between the objects have been developed and incorporated into the Chimera Real-Time Operating System. Techniques for verifying correctness and analyzing performance are also provided for configuration managers that integrate software designed using the port-based object model.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Web-based remote diagnosis system using virtual slide for routine pathology slides, analysis of discrepancies between virtual and real microscopic diagnosis

Introduction: Together with recent development of digital pathology technology, v irtual slide (VS) p rimary d iagnosis is becoming a r eal issue. On the ot her ha nd, t here a re o bjection or a rgument t o VS primary diagnosis. T o clarify the issues of VS primary diagnosis, we made comparison experiment between virtual and real microscope diagnosis. Methods: To cover the insufficiency of pat...

متن کامل

Quasi-Destructive Graph Unification with Structure-Sharing

G r a p h unifi(:ation remains the nlost expensive par t of unificatiou-b~Lsed g r a m m a r l)arsing. We fl)cus on (Hie 81}ee(l-u 1) elelltellt ill the design of llllifieat ion a lgor i thms: avoidance of copying of umao(lifled sul)graph.s. We propose a me thod of a t t a in ing snch a design through a nlethod of s t ruc tn re shar ing which avoids log(d) overheads often associated with s t ru...

متن کامل

راه اندازی روش Real-time PCR بر پایهgreen SYBRجهت تعیین الل‌های HLA-DQ در بیماران مبتلا به سیلیاک

  سابقه و هدف: از عوامل ژنتیکی مهم در ابتلا به بیماری سیلیاک، حضور الل‌های HLA-DQ2 و HLA-DQ8 در افراد مبتلا می‌باشد. روش‌های مولکولی زیادی جهت تعیین این الل‌ها در دسترس می‌باشد اما این روش‌ها علاوه بر هزینه بالا، دارای مراحل متعددی هستند که استفاده از آن‌ها را دشوار کرده است، لذا هدف از این مطالعه، راه‌اندازی تکنیک ساده و سریع جهت تعیین الل‌های HLA-DQ در بیماران مبتلا به سیلیاک با روش SYBR g re...

متن کامل

Physical Nature of the Kuiper Belt

9 I. HISTORY o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o Recent gr und-based bservati ns have unveiled a large number f b dies in rbit bey nd Neptune, in a regi n n w widely kn wn as the Kuiper ( r, less c mm nly, Edgew rth-Kuiper) Belt. Ab ut 10 Kuiper Belt bjects (KBOs...

متن کامل

Picosecond Time Difference Measurement System

Recently a t ime d i f fe rence measurement system was developed i n the Frequency & Time Standards Section o f the Nat ional Bureau o f Standards and independently a t the Nat ional Research Council which shows more than three orders of magnitude improvement over that which is cur ren t ly ava i lab le comnerc ia l l y . Cur ren t s ta te -o f the-ar t t ime d i f fe rence measurement devices ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996